формалізація

формалізація
матем. формализа́ция

Українсько-російський політехнічний словник. 2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "формалізація" в других словарях:

  • формалізація — іменник жіночого роду …   Орфографічний словник української мови

  • формалізація — ї, ж. Представлення якої небудь змістовної галузі (знань) у вигляді формальної системи. || У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами …   Український тлумачний словник

  • формалінізація — іменник жіночого роду …   Орфографічний словник української мови

  • облік — у, ч. 1) Засвідчення, встановлення наявності з ясування кількості чого небудь. Бути на обліку. 2) Реєстрація людей із занесенням у відповідні списки для їх використання де небудь, з ясування їх наявності, переміщення і т. ін. Сектор обліку. 3) ек …   Український тлумачний словник

  • математичні моделі схем відтворення — відтворення схеми, представленої й дослідженої за допомогою інструментарію макроекономічного моделювання. Схеми відтворення через формалізацію побудови можуть безпосередньо використовуватися як моделі. У цьому разі об’єктом дослідження є… …   Термінологічно-тлумачний словник "Моделювання економіки"

  • Портовое управление — ПОРТОВОЕ УПРАВЛЕНІЕ. Подъ воен. портомъ понимается расположенный на морск. побережьѣ пунктъ, въ к ромъ сосредоточиваются: 1) воен. судостроеніе и ремонтъ судовъ; 2) снабженіе ихъ всѣмъ необходимымъ; 3) учр нія и, зав нія мор го вѣд ва (см.… …   Военная энциклопедия

  • Голландия — ГОЛЛАНДІЯ или НИДЕРЛАНДЫ, королевство; площ. 28.784 кв. вер. Сухоп. граница почти сплошь идетъ по условной линіи, почему всюду доступна для вторженія. Берега низменны, песчаны и усѣяны дюнами; важнѣйшіе изъ заливовъ Нѣмец. моря Зюдерзее и Долартъ …   Военная энциклопедия

  • Коалиционные войны — *КОАЛИЦІОННЫЯ ВОЙНЫ, войны, ведущіяся нѣск. гос вами (коалиціей) противъ одного или нѣск. прот ковъ. Названіе коалиція впервые вошло въ употребленіе въ 1792 г. для обозначенія союза между Австріей и Пруссіей для поддержанія интересовъ Герм.… …   Военная энциклопедия

  • неформальний — а, е. 1) Позбавлений формалізму; творчий, не шаблонний. Неформальні рішення. 2) Не пов язаний з дотриманням прийнятих форм спілкування; неофіційний, вільний. Неформальні переговори. Неформальна освіта. Неформальний лідер. •• Неформа/льна гру/па… …   Український тлумачний словник

  • цільова функція — в оптимізаційних (екстремальних) задачах – функція невідомих, екстремум (максимум чи мінімум) якої необхідно знайти. Якщо він існує, то сукупність тих невідомих задачі, за яких цільова функція досягає шуканого екстремуму, називається розв’язком… …   Термінологічно-тлумачний словник "Моделювання економіки"

  • Кипрская война — (1570 73), одинъ изъ періодовъ столѣт. ожесточ. борьбы (конецъ XV и почти все XVI ст.) за воен. и торг. преобладаніе на Средизем. морѣ христіанъ съ мусульманами. Во главѣ первыхъ стояли Испанія, только что справившаяся съ маврами на Пирен. полуо… …   Военная энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»